Preface of the Proceedings of the IJCAR Workshop on "Automated Reasoning for Security Protocol Analysis (ARSPA 2004)
Contains fulltext : 83355.pdf (publisher's version ) (Closed access
Preface to the volume devoted to the AIP conference on: "Advanced Engineering Systems and Computer A...
Preface For many years the British and the German automated reasoning communities have successfully ...
Preface of the "Proceedings of the ICALP 2005 Workshop on Automated Reasoning for Security Protocol ...
Preface of the Special Issue on "Joint workshop on foundations of computer security and automated re...
Preface of the Special Issue of International Journal of Information Security on "Automated Reasonin...
Preface of the Special Issue of Theoretical Computer Science on "Automated Reasoning for Security Pr...
Preface of the Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations...
Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning
2006 Federated Logic Conference (FLoC’06). The workshop FCS-ARSPA’06 is the fusion of two workshops....
International audienceThis book constitutes the refereed proceedings of the 6th International Joint ...
Selected papers from the Fourth Workshop on Strategies in Automated Deduction, satellite workshop of...
This volume collects the revised proceedings of the 19th International Security Protocols Workshop, ...
Preface to the proceedings of the 4th International Workshop on Formal Aspects of Component Software...
Preface This volume contains the proceedings of ARW 2019, the twenty sixths Workshop on Automated Re...
Contains fulltext : 83355.pdf (publisher's version ) (Closed access
Preface to the volume devoted to the AIP conference on: "Advanced Engineering Systems and Computer A...
Preface For many years the British and the German automated reasoning communities have successfully ...
Preface of the "Proceedings of the ICALP 2005 Workshop on Automated Reasoning for Security Protocol ...
Preface of the Special Issue on "Joint workshop on foundations of computer security and automated re...
Preface of the Special Issue of International Journal of Information Security on "Automated Reasonin...
Preface of the Special Issue of Theoretical Computer Science on "Automated Reasoning for Security Pr...
Preface of the Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations...
Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning
2006 Federated Logic Conference (FLoC’06). The workshop FCS-ARSPA’06 is the fusion of two workshops....
International audienceThis book constitutes the refereed proceedings of the 6th International Joint ...
Selected papers from the Fourth Workshop on Strategies in Automated Deduction, satellite workshop of...
This volume collects the revised proceedings of the 19th International Security Protocols Workshop, ...
Preface to the proceedings of the 4th International Workshop on Formal Aspects of Component Software...
Preface This volume contains the proceedings of ARW 2019, the twenty sixths Workshop on Automated Re...
Contains fulltext : 83355.pdf (publisher's version ) (Closed access
Preface to the volume devoted to the AIP conference on: "Advanced Engineering Systems and Computer A...
Preface For many years the British and the German automated reasoning communities have successfully ...
DOI
Add to ORKG